On the Expressiveness of Multiparty Sessions
نویسندگان
چکیده
This paper explores expressiveness of asynchronous multiparty sessions. We model the behaviours of endpoint implementations in several ways: (i) by the existence of different buffers and queues used to store messages exchanged asynchronously, (ii) by the ability for an endpoint to lightly reconfigure his behaviour at runtime (flexibility), (iii) by the presence of explicit parallelism or interruptions (exceptional actions) in endpoint behaviour. For a given protocol we define several denotations, based on traces of events, corresponding to the different implementations and compare them. 1998 ACM Subject Classification F.3.2 Semantics of Programming Languages
منابع مشابه
The Effect of a Premarital Educational Program Based on 9- Type Personalities Types (Enneagram) on Emotional Expressiveness of Couples Preparing for Marriage
Objectives: This study aimed to develop a premarital educational package based on based on 9-type personalities (Enneagram) to improve emotional expressiveness of couples preparing for marriage. Methods: In this quasi-experimental study with pretest/posttest design, the study population consisted of all couples in the premarital stage referred to counseling centers in Isfahan, Iran during sp...
متن کاملDependent Session Types for Evolving Multiparty Communication Topologies
Many application-level distributed protocols and parallel algorithms are dynamic in nature: the number of participants, messages or repetitions is only known at run-time, and the communication topology may be altered during the execution. This paper proposes a dependent type theory for multiparty sessions which can statically guarantee type-safe, deadlock-free multiparty interactions among proc...
متن کاملEffectiveness of Mindfulness-Based Stress Reduction Training on Emotional Expressiveness and Fear of Hypoglycemia in Patients with Type 2 Diabetes
Objective: Diabetes is a common chronic disorder in which there is a high risk of physical complications and psychological problems such as hypoglycemia and inability to express emotions. Psychological interventions can be effective in this regard. The aim of this study was to investigate the effectiveness of mindfulness-based stress reduction (MBSR) training on emotional expressiveness and fea...
متن کاملA Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Multiparty Session Types (MPST) is a typing discipline for message-passing distributed processes that can ensure properties such as absence of communication errors and deadlocks, and protocol conformance. Can MPST provide a theoretical foundation for concurrent and distributed programming in “mainstream” languages? We address this problem by (1) developing the first encoding of a full-fledged m...
متن کاملGlobal progress for dynamically interleaved multiparty sessions
A multiparty session forms a unit of structured interactions among many participants which follow a prescribed scenario specified as a global type signature. When a distributed protocol is engaged in two or more specifications simultaneously, sessions following distinct global types can be interleaved and can interfere at runtime also through the channel delegation operation. Previous work on m...
متن کامل